Théorie du contrôle optimal et calcul des variations

Second order optimality conditions in the smooth case and applications in optimal control

The aim of this article is to present algorithms to compute the first conjugate time along a smooth extremal curve, where the trajectory ceases to be optimal. It is based on recent theoretical developments of geometric optimal control, and the article contains a review of second order optimality conditions. The computations are related to a test of positivity of the intrinsic second order deriv...

Production du vaccin contre le virus aphteux de type SAT 1 et son contrôle à l'Institut National des Serums et Vaccins Razi (Iran) au cours de l'année 1963-1964

Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory

We embed the framework of infinite two-player turn-based games played on graphs with safety objectives in an epistemic temporal logic. This embedding is made possible thanks to two intermediate embeddings: the first is from infinite games with safety objectives to supervisory control theory and the second is from supervisory control theory to epistemic temporal logic. Thereby, we are able to de...

Introduction à la théorie des grandes matrices aléatoires

RÉSUMÉ. Cet article est une introduction à la théorie des grandes matrices aléatoires, à destination d’un public non spécialiste. On y énonce et démontre en détail le théorème de MarčenkoPastur qui décrit le spectre asymptotique d’une grande matrice de covariance. On introduit la transformée de Stieltjes et les techniques de calcul associées, ainsi que quelques techniques de calcul gaussien qui...

Chapitre 1 DE L ’ ALGÈBRE LINÉAIRE À LA RÉSOLUTION DES

Ce chapitre traite de la résolution des systèmes d’équations polynomiales et fait suite au chapitre 4 du tome Mathématiques L2, Pearson Education, 2007, qui introduisait certains algorithmes fondamentaux du calcul formel. Même si le champ des problématiques abordées par le calcul formel est bien plus vaste que la résolution des systèmes polynomiaux, cette dernière problématique occupe une place...